Tarlecki, Andrzej: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Some fundamental algebraic tools for the semantics of computation: Part 3. indexed categories

Andrzej Tarlecki, Rod M. Burstall, Joseph A. Goguen

Journal:

Theoretical Computer Science

Year:

1991

Language:

english

File:

PDF, 1.80 MB

english, 1991

2

CASL: the Common Algebraic Specification Language

Egidio Astesiano, Michel Bidoit, Hélène Kirchner, Bernd Krieg-Brückner, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 317 KB

english, 2002

3

A language of specified programs

Andrzej Tarlecki

Journal:

Science of Computer Programming

Year:

1985

Language:

english

File:

PDF, 1.43 MB

english, 1985

4

Existence, Uniqueness, and Construction of Rewrite Systems

Dershowitz, Nachum, Marcus, Leo, Tarlecki, Andrzej

Journal:

SIAM Journal on Computing

Year:

1988

Language:

english

File:

PDF, 1.43 MB

english, 1988

5

[Lecture Notes in Computer Science] Recent Trends in Data Type Specification Volume 906 || What is an Abstract Data Type, after all?

Astesiano, Egidio, Reggio, Gianna, Tarlecki, Andrzej

Year:

1995

Language:

english

File:

PDF, 1.53 MB

english, 1995

6

[Lecture Notes in Computer Science] Computer Science Logic Volume 3210 || Abstract Interpretation of Proofs: Classical Propositional Calculus

Marcinkowski, Jerzy, Tarlecki, Andrzej

Year:

2004

Language:

english

File:

PDF, 185 KB

english, 2004

7

What is a Logic Translation?

Till Mossakowski, Răzvan Diaconescu, Andrzej Tarlecki

Journal:

Logica Universalis

Year:

2009

Language:

english

File:

PDF, 362 KB

english, 2009

8

Structured theory presentations and logic representations

Robert Harper, Donald Sannella, Andrzej Tarlecki

Journal:

Annals of Pure and Applied Logic

Year:

1994

Language:

english

File:

PDF, 3.30 MB

english, 1994

9

Władysław Marek Turski (1938–2013)

Andrzej Tarlecki

Journal:

Formal Aspects of Computing

Year:

2014

Language:

english

File:

PDF, 62 KB

english, 2014

10

[Lecture Notes in Computer Science] FM 2005: Formal Methods Volume 3582 || Operational Semantics for Model Checking Circus

Fitzgerald, John, Hayes, Ian J., Tarlecki, Andrzej

Year:

2005

Language:

english

File:

PDF, 174 KB

english, 2005

11

[Lecture Notes in Computer Science] Recent Trends in Data Type Specification Volume 906 || A lazy approach to partial algebras

Astesiano, Egidio, Reggio, Gianna, Tarlecki, Andrzej

Year:

1995

Language:

english

File:

PDF, 974 KB

english, 1995

12

[Lecture Notes in Computer Science] FM 2005: Formal Methods Volume 3582 || Controlling Object Allocation Using Creation Guards

Fitzgerald, John, Hayes, Ian J., Tarlecki, Andrzej

Year:

2005

Language:

english

File:

PDF, 159 KB

english, 2005

13

[Lecture Notes in Computer Science] FM 2005: Formal Methods Volume 3582 || Adding Conflict and Confusion to CSP

Fitzgerald, John, Hayes, Ian J., Tarlecki, Andrzej

Year:

2005

Language:

english

File:

PDF, 205 KB

english, 2005

14

Toward formal development of programs from algebraic specifications: Implementations revisited

Donald Sannella, Andrzej Tarlecki

Journal:

Acta Informatica

Year:

1988

Language:

english

File:

PDF, 2.77 MB

english, 1988

15

[ACM Press the 12th ACM SIGACT-SIGPLAN symposium - New Orleans, Louisiana, United States (1985.01.14-1985.01.16)] Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '85 - Program specification and development in standard ML

Sannella, Donald, Tarlecki, Andrzej

Year:

1985

Language:

english

File:

PDF, 1.00 MB

english, 1985

16

[Lecture Notes in Computer Science] FM 2005: Formal Methods Volume 3582 || Control Law Diagrams in Circus

Fitzgerald, John, Hayes, Ian J., Tarlecki, Andrzej

Year:

2005

Language:

english

File:

PDF, 313 KB

english, 2005

17

Specifications in an arbitrary institution

Donald Sannella, Andrzej Tarlecki

Journal:

Information and Computation

Year:

1988

Language:

english

File:

PDF, 2.77 MB

english, 1988

18

[Lecture Notes in Computer Science] Computer Science Logic Volume 3210 (18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004. Proceedings) || Applications of Craig Interpolation to Model Checking

Marcinkowski, Jerzy, Tarlecki, Andrzej

Year:

2004

File:

PDF, 48 KB

2004

19

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1991 Volume 520 || The bisection problem for graphs of degree 4 (configuring transputer systems)

Tarlecki, Andrzej

Year:

1991

Language:

english

File:

PDF, 605 KB

english, 1991

20

[Lecture Notes in Computer Science] FM 2005: Formal Methods Volume 3582 || An MDA Approach Towards Integrating Formal and Informal Modeling Languages

Fitzgerald, John, Hayes, Ian J., Tarlecki, Andrzej

Year:

2005

Language:

english

File:

PDF, 269 KB

english, 2005

21

[Lecture Notes in Computer Science] Computer Science Logic Volume 3210 || On Nash Equilibria in Stochastic Games

Marcinkowski, Jerzy, Tarlecki, Andrzej

Year:

2004

Language:

english

File:

PDF, 237 KB

english, 2004

22

[Lecture Notes in Computer Science] Algebra and Coalgebra in Computer Science Volume 5728 || Circular Coinduction: A Proof Theoretical Foundation

Kurz, Alexander, Lenisa, Marina, Tarlecki, Andrzej

Year:

2009

Language:

english

File:

PDF, 332 KB

english, 2009

23

[Lecture Notes in Computer Science] FM 2005: Formal Methods Volume 3582 || On Some Galois Connection Based Abstractions for the Mu-Calculus

Fitzgerald, John, Hayes, Ian J., Tarlecki, Andrzej

Year:

2005

Language:

english

File:

PDF, 190 KB

english, 2005

24

[Lecture Notes in Computer Science] FM 2005: Formal Methods Volume 3582 || Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems

Fitzgerald, John, Hayes, Ian J., Tarlecki, Andrzej

Year:

2005

Language:

english

File:

PDF, 509 KB

english, 2005

25

[Lecture Notes in Computer Science] Recent Trends in Data Type Specification Volume 906 || Types, subtypes, and ASL+

Astesiano, Egidio, Reggio, Gianna, Tarlecki, Andrzej

Year:

1995

Language:

english

File:

PDF, 1005 KB

english, 1995

26

Architectural Specifications in CASL

Michel Bidoit, Donald Sannella, Andrzej Tarlecki

Journal:

Formal Aspects of Computing

Year:

2002

Language:

english

File:

PDF, 208 KB

english, 2002

27

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1991 Volume 520 || Partial higher-order specifications

Tarlecki, Andrzej

Year:

1991

Language:

english

File:

PDF, 879 KB

english, 1991

28

Specification refinements: Calculi, tools, and applications

Codescu, Mihai, Mossakowski, Till, Sannella, Donald, Tarlecki, Andrzej

Journal:

Science of Computer Programming

Year:

2017

Language:

english

File:

PDF, 1.32 MB

english, 2017

29

[Lecture Notes in Computer Science] Recent Trends in Data Type Specification Volume 906 || Institutional frames

Astesiano, Egidio, Reggio, Gianna, Tarlecki, Andrzej

Year:

1995

Language:

english

File:

PDF, 953 KB

english, 1995

30

[Lecture Notes in Computer Science] Recent Trends in Data Type Specification Volume 906 || Modular termination of term rewriting systems revisited

Astesiano, Egidio, Reggio, Gianna, Tarlecki, Andrzej

Year:

1995

Language:

english

File:

PDF, 1.07 MB

english, 1995

31

[Lecture Notes in Computer Science] Recent Trends in Data Type Specification Volume 906 || An algebraic semantics for the object specification language TROLL light

Astesiano, Egidio, Reggio, Gianna, Tarlecki, Andrzej

Year:

1995

Language:

english

File:

PDF, 1.08 MB

english, 1995

32

Răzvan Diaconescu, Institution-independent Model Theory

Tarlecki, Andrzej

Journal:

Year:

2014

Language:

english

File:

PDF, 147 KB

english, 2014

33

[Lecture Notes in Computer Science] FM 2005: Formal Methods Volume 3582 || A Formal Model of Addressing for Interoperating Networks

Fitzgerald, John, Hayes, Ian J., Tarlecki, Andrzej

Year:

2005

Language:

english

File:

PDF, 160 KB

english, 2005

34

[Lecture Notes in Computer Science] FM 2005: Formal Methods Volume 3582 || Formal Aids for the Growth of Software Systems

Fitzgerald, John, Hayes, Ian J., Tarlecki, Andrzej

Year:

2005

Language:

english

File:

PDF, 31 KB

english, 2005

35

[Lecture Notes in Computer Science] Recent Trends in Data Type Specification Volume 906 || Implementation of data structures in an imperative framework

Astesiano, Egidio, Reggio, Gianna, Tarlecki, Andrzej

Year:

1995

Language:

english

File:

PDF, 1.08 MB

english, 1995

36

Amalgamation in the semantics of CASL

Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 439 KB

english, 2005

37

[Lecture Notes in Computer Science] FM 2005: Formal Methods Volume 3582 || Modular Verification of Static Class Invariants

Fitzgerald, John, Hayes, Ian J., Tarlecki, Andrzej

Year:

2005

Language:

english

File:

PDF, 171 KB

english, 2005

38

[Lecture Notes in Computer Science] FM 2005: Formal Methods Volume 3582 || An Approach to Unfolding Asynchronous Communication Protocols

Fitzgerald, John, Hayes, Ian J., Tarlecki, Andrzej

Year:

2005

Language:

english

File:

PDF, 217 KB

english, 2005

39

On conservative extensions of syntax in system development

Andrzej Blikle, Andrzej Tarlecki, Mikkel Thorup

Journal:

Theoretical Computer Science

Year:

1991

Language:

english

File:

PDF, 1.63 MB

english, 1991

40

[Lecture Notes in Computer Science] FM 2005: Formal Methods Volume 3582 || Model-Checking of Specifications Integrating Processes, Data and Time

Fitzgerald, John, Hayes, Ian J., Tarlecki, Andrzej

Year:

2005

Language:

english

File:

PDF, 192 KB

english, 2005

41

[Lecture Notes in Computer Science] FM 2005: Formal Methods Volume 3582 || Certified Memory Usage Analysis

Fitzgerald, John, Hayes, Ian J., Tarlecki, Andrzej

Year:

2005

Language:

english

File:

PDF, 207 KB

english, 2005

42

[Lecture Notes in Computer Science] Recent Trends in Data Type Specification Volume 906 || An object-oriented airport: Specification and refinement in Maude

Astesiano, Egidio, Reggio, Gianna, Tarlecki, Andrzej

Year:

1995

Language:

english

File:

PDF, 1.03 MB

english, 1995

43

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 4596 || Balanced Families of Perfect Hash Functions and Their Applications

Arge, Lars, Cachin, Christian, Jurdziński, Tomasz, Tarlecki, Andrzej

Year:

2007

Language:

english

File:

PDF, 416 KB

english, 2007

44

[IEEE 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST) - Montreal, QC, Canada (2012.04.17-2012.04.21)] 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation - Testing of Evolving Protocols

Chrzaszcz, Jacek, Czarnik, Patryk, Schubert, Aleksy, Tarlecki, Andrzej

Year:

2012

Language:

english

File:

PDF, 301 KB

english, 2012

45

Foreword

Jan Madey, Andrzej Tarlecki, Wladyslaw M. Turski

Journal:

Science of Computer Programming

Year:

1997

Language:

english

File:

PDF, 75 KB

english, 1997

46

The Institution-Theoretic Scope of Logic Theorems

Diaconescu, Răzvan, Mossakowski, Till, Tarlecki, Andrzej

Journal:

Logica Universalis

Year:

2014

Language:

english

File:

PDF, 240 KB

english, 2014

47

[Lecture Notes in Computer Science] FM 2005: Formal Methods Volume 3582 || Timing Tolerances in Safety-Critical Software

Fitzgerald, John, Hayes, Ian J., Tarlecki, Andrzej

Year:

2005

Language:

english

File:

PDF, 335 KB

english, 2005

48

[Lecture Notes in Computer Science] FM 2005: Formal Methods Volume 3582 || Synthesis of Distributed Processes from Scenario-Based Specifications

Fitzgerald, John, Hayes, Ian J., Tarlecki, Andrzej

Year:

2005

Language:

english

File:

PDF, 177 KB

english, 2005

49

[Lecture Notes in Computer Science] Computer Science Logic Volume 3210 || A Dependent Type Theory with Names and Binding

Marcinkowski, Jerzy, Tarlecki, Andrzej

Year:

2004

Language:

english

File:

PDF, 270 KB

english, 2004

50

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 4596 || Ring Signatures of Sub-linear Size Without Random Oracles

Arge, Lars, Cachin, Christian, Jurdziński, Tomasz, Tarlecki, Andrzej

Year:

2007

Language:

english

File:

PDF, 454 KB

english, 2007

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски